Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
denotational semantics
A technique for describing the meaning of programs in
terms of mathematical functions on programs and program
components. Programs are translated into functions about
which properties can be proved using the standard mathematical
theory of functions, and especially domain theory.
Compare axiomatic semantics, operational semantics,
standard semantics.
(1996-08-21)